programme proving - German English Dictionary